home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_msg / bad_assertion1.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  309 b   |  21 lines  |  [TEXT/EDIT]
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class BAD_ASSERTION1
  5.    
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    make is 
  12.       local
  13.      x: INTEGER;
  14.       do 
  15.      check
  16.         x := 3;
  17.      end;
  18.       end;
  19.    
  20. end -- BAD_ASSERTION1
  21.